SAT Grammar Rules